Nuprl Definition : decide def
12,41
postcript
pdf
case
b
of inl(
x
) =>
s
(
x
) | inr(
y
) =>
t
(
y
) is Primitive
latex
origin